interface{-}val(${\it es}$;$X$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$X$($<$loc($e$), kind($e$)$>$)((state when $e$),val($e$))